COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Here is the letter I sent you via the U.S. Mail a few weeks ago:
C00006 ENDMK
C⊗;
Here is the letter I sent you via the U.S. Mail a few weeks ago:

Dear Pat,

I hope  you've fully recovered  from the administrative  nightmare of
IJCAI75.    I'll never  forget the  free  session I  chaired,  with 6
scheduled speakers; a Russian came in, said %2he%* was  the chairman,
and  had a  list of  7 %2different%*  speakers! Well,  all 13  people
talked, with tandem translations, hence had about 5 minutes per talk.

As  you may recall, I'm  a fourth-year grad  student in Stanford's CS
program.  My dissertation  research deals with how one  might explain
-- and automate -- the  formation of new mathematical theories.  I've
been working  on  a program  which  can develop  simple  mathematical
concepts, which aims at expertise in proposing new definitions and in
theorem  %2proposing%*,  rather than  theorem %2proving%*.    A brief
description  of  the   project  is   enclosed.    It   uses  as   its
representation the BEINGs  scheme, the concept I talked  about in the
IJCAI paper.

My   committee  consists  of  Ed  Feigenbaum,  Cordell  Green,  Bruce
Buchanan, and Don  Knuth. They  have suggested that  I write you  and
Marvin,  since I  expect  to receive  my  Ph.D. by  next  Fall. I  am
interested in a faculty position for next year, and would welcome the
opportunity to discuss the matter with you (even  if there will be no
openings at MIT).  I could visit Boston sometime this Winter, perhaps
in February.  If there is sufficient interest, I'd be happy to give a
colloquium on my thesis research.

Regards,

Doug Lenat

************************************************************************


Please let me know about my coming to MIT on Wed., Feb. 18, and Thu.,
Feb.  19.   I  will be  leaving for  the  ACM conference  this Monday
morning, so I'd  like to finalize  my plans this  weekend.  If  those
dates are awkward, we can arrange an alternate visit.